($E$$^{\circ}$\{$T$\})($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($x$ = $y$ $\in$ $T$) $\vee$ ($E$($x$,$y$))